formal program testing
[计] 形式程序测试
热门查询
- capstan n. 绞盘，起锚机；主动轮
- purlieu n. 范围；界限；常去的地方；森林边缘带
- Forsyth n. 福赛斯（美国地名）
- schoolfriend n. 校友, 老同学
- Bugatti n. 布加迪（汽车品牌）
- repairman n. 修理工人
- yokohama n. 横滨（日本一城市名）
- per annum adv. 每年 [网络] 拉丁语每年；按年计算；按年
- finitude n. 有限；界限；限制
- daiquiri n. 一种鸡尾酒，代基里酒
- egomania n. 自大狂；极端利己；利己癖；自尊癖
- asteroidal adj. 星状的
- uncollectible adj. 不可收回的；无法收集的
- temptation n. 引诱；诱惑物
- erythema n. [皮肤] 红斑，红疹
- burlesque n. 作戏；滑稽戏 adj. 滑稽的；可笑的
- lanka n. 兰卡；楞伽
- physiotherapy n. 物理疗法
- convoke vt. 召集；召集…开会
- quintuplet n. 五胞胎之一；五个一组；五件一套
